Fléaux de Dieu ou catastrophes naturelles ?

Analyse de scènes naturelles par Composantes Indépendantes

A partir des travaux pionniers d’Hubert et Wiesel, une grande majorité des systèmes de reconnaissance à base de caractéristiques sont modélisés à partir de familles de filtres de type passe-bande orienté (Gabor 2D, dérivées de fonctions gaussiennes, ...) selon des stratégies de codage inspirées de celles du cortex visuel. De nombreuses études [2, 8, 14, 16] montrent que ces détecteurs corticaux...

Proposition De Stage Et / Ou De These »

Résumé: Recent progresses in the characterization of physical properties of viruses allows for the first time to investigate distinct virus cycle events at the single particle level [1]. Using an original combination of experimental approaches based on Atomic Force Microscopy (AFM) and statistical physics modelization, we propose to study the physical properties of Adeno-Associated Virus (AAV) ...

Méthodes MCMC en interaction pour l’évaluation de ressources naturelles

RÉSUMÉ. Les méthodes de Monte Carlo par chaînes de Markov (MCMC) couplées à des modèles de Markov cachés sont utilisées dans de nombreux domaines, notamment en environnement et en écologie. Sur des exemples simples, nous montrons que la vitesse de convergence de ces méthodes peut être très faible. Nous proposons de mettre en interaction plusieurs algorithmes MCMC pour accélérer cette convergenc...

Les graphes de démonstration : outil pour l'étude des démonstrations naturelles

Contrôle de systèmes symboliques, discrets ou hybrides

pto Centre National de la Recherche Scientifique Institut National de Recherche en Informatique (UMR 6074) Université de Rennes 1 – Insa de Rennes et en Automatique – unité de recherche de Rennes Supervisory Control of Discrete or Hybrid Symbolic systems Abstract In this paper we tackle the safety controller synthesis problem for various models ranging from nite transition systems to hybrid sys...